5PM and DoC - Formal Models for Game Design
نویسندگان
چکیده
منابع مشابه
Formal Models and Game Design
In this article results from mathematics are used to create a formalism for games. Games are considered as systems and the design of games as the creation of models for games. By abstract control systems, a formalism for describing models of games is introduced. Methods to create new models from given ones are described. To handle complexity problems in game design, simulations of models by oth...
متن کاملMDA: A Formal Approach to Game Design and Game Research
In this paper we present the MDA framework (standing for Mechanics, Dynamics, and Aesthetics), developed and taught as part of the Game Design and Tuning Workshop at the Game Developers Conference, San Jose 2001-2004. MDA is a formal approach to understanding games one which attempts to bridge the gap between game design and development, game criticism, and technical game research. We believe...
متن کاملDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملFormal Models for Communication-Based Design
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and implemented. Concurrency is about communicating processes. We introduce an abstract formal way of representing communication among processes and we show how to re ne this representation towards implementation. To this end,...
متن کاملFunction Architecture Codesign Formal Models for Embedded System Design Embedded System Design Communication-based Design Formal Models
codesign finite-state machines ACFSM is a formal model that allows one to represent embedded systems specifications, involving both control and DF aspects, at a high level of abstraction. It consists of a network of FSMs that communicates asynchronously by means of events (that at the abstract level denote only partial ordering, not time) over lossless signals with FIFO semantics. ACFSMs are a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: CLEI Electronic Journal
سال: 2020
ISSN: 0717-5000
DOI: 10.19153/cleiej.23.2.1